Title	Formal Verification of Twin Clutch Gear Control System
Author	Muhammad Zaman, Amina Mahmood, Muhammad Atif, Muhammad Adnan Hashmi, Muhammad Kashif, Mudassar Naseer
Citation	Vol. 24  No. 3  pp. 151-159
Keywords	Formal Specification, Gear Control System, Requirement Verification, Model-checking.

Title	Understanding Driver Compliance Behaviour at Signalised Intersection for Developing Conceptual Model of Driving Simulation
Author	Aznoora Osman, Nadia Abdul Wahab, and Haryati Ahmad Fauzi
Citation	Vol. 24  No. 3  pp. 142-150
Keywords	dilemma zone, signalised intersection, driver compliance behavior, thematic analysis.

Title	Re-Engineering of Educational Contexts in the Digital Transformation of Socio-Economic Interactions of Society
Author	Tsekhmister Yaroslav, Tetiana Konovalova, Tsekhmister Bogdan
Citation	Vol. 24  No. 3  pp. 135-141
Keywords	Digitalization of education, information and computer technology, educational processes, the transformation of the education system, reengineering of education.

Title	A Deep Learning Approach for Covid-19 Detection in Chest X-Rays
Author	Sk. Shalauddin Kabir, Syed Galib, Hazrat Ali , Fee Faysal Ahmed, Mohammad Farhad Bulbul
Citation	Vol. 24  No. 3  pp. 125-134
Keywords	Convolutional Neural Networks, X-ray, COVID19, Transfer-Learning, Deep-Learning